珊瑚岛淡水透镜体抽水倒锥影响因素研究

为研究珊瑚岛淡水透镜体抽水倒锥的形成和影响因素,构建了西沙永兴岛淡水透镜体三维数学模型,运用Visual Modflow软件对模型进行数值求解,获得了淡水透镜体外包络面、倒锥外形和相关因素对倒锥的影响。模拟计算表明,淡水水头的计算值与实测值之差为-0.58%～-3.86%;取年均降雨量的40%为回补量,永兴岛淡水透镜体最大计算厚度为15 m;抽水倒锥上升高度随抽水强度和时间的增加而增加,随井底到淡水透镜体底部边界距离的增加而减少;倒锥对抽水强度十分敏感,工程中应予以严格控制,对于永兴岛上长期开采的水井,建议抽水速率不超过5 m3/h。研究成果可用于制订淡水透镜体的开采策略,实现珊瑚岛地下淡水资源的持续开发和利用。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

临近空间飞行器纵向逆控制系统设计

建立了临近空间飞行器无动力滑翔阶段的纵向运动模型,并应用动态逆方法推导了模型的逆系统.系统相对阶等于绕质心运动模型的系统阶数,实现了绕质心运动模型的线性化.为了克服纵向运动模型的隐动态和参数的不确定性,在内环动态逆控制器的基础上,设计了外环最优调节器.仿真结果表明:飞行器纵向逆控制系统可以准确跟踪俯仰角或攻角指令,并对参数不确定性和外界干扰具有较好的鲁棒性,具有工程适用性.     

Double Mover–Stayer model on customer switching in telecommunications industry

Customer acquisition and customer retention are the most important challenges in the increasingly competitive telecommunications industry. Traditional studies of customer switching always assume that customers are homogeneous, and thus that model customer switching behavior follows a Markov formulation. However, this postulation is obviously inappropriate in most instances. Blumen et al. (Cornell Studies of Industrial and Labor Relations, Cornell University Press, Ithaca, NY, 1955) developed the Mover–Stayer (MS) model, a generalization of the Markov chain model, to relax the requirement of homogeneity and allow the presence of heterogeneity with two different types of individuals—“stayers,” who purchase the same kinds of products or services throughout the entire observation period; and “movers,” who look for variety in products or services over time. There are two purpose of this article. First, we extend the MS model to a Double Mover‐Stayer (DMS) model by assuming the existence of three types of individuals in the market: (1) stable and loyal customers, who have stable usage within the same company; (2) instable but loyal customers, whose usage varies within the same company over time; and (3) disloyal customers, who switch from one company to another to seek for new experiences or/and benefits. We also propose an estimation method for the DMS model. Second, we apply the DMS model to telecommunications data and demonstrate how it can be used for pattern identification, hidden knowledge discovery, and decision making. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

《连续系统建模》的计算机辅助学习与考核系统

本文介绍了一个用于《连续系统建模》学习与考核的计算机辅助教学课件的功能和设计原理,重点介绍了系统动力学模型图的知识表达和建模行为的有效性度量的方法。     

防空导弹武器系统抢修性时间参数模型

抢修性作为武器系统的一种特性,与武器系统本身的结构、损伤及抢修人员、工具等许多因素有关。防空导弹武器系统组成复杂,抢修性度量困难。在分析抢修性概念模型的基础上,从抢修性函数着手,推导并建立了防空导弹武器系统抢修性参数模型,最后通过算例对模型进行了验证,为解决防空导弹武器系统抢修性量化难题提供了一种有效的途径。     

磁性合金A1-xBx相图的理论计算

采用变分累积展开方法,研究了块体磁性合金的相图.利用随机键海森堡模型计算了面心立方、体心立方的居里点和耐尔点,给出了磁性合金临界点的计算公式,进而分别给出自旋1/2和3/2情况下Tc-x相图,并加以分析.     

基于序列径向基函数的运载火箭蒙皮桁条结构轻质优化

以我国大型运载火箭薄壁加筋结构轻量化设计为研究背景,针对轴压下大直径大载荷蒙皮桁条结构开展后屈曲轻质优化研究。基于Python语言建立蒙皮桁条结构参数化模型,为确定结构的极限承载能力,开展蒙皮桁条结构后屈曲分析。针对蒙皮桁条结构轻质优化涉及离散的拓扑和连续的尺寸优化问题,提出基于近似模型和组合优化算法的序列近似优化方法,并利用近似最优解加速算法收敛,确定蒙皮桁条结构最优设计方案。工程算例结果表明,所提序列近似优化方法使大直径大载荷运载火箭蒙皮桁条结构减重效果明显,验证了方法的有效性。     

基于部件模型的无人机系统小样本车辆目标识别方法

对地目标检测与识别是无人机系统典型任务之一,但受限于任务特殊性,往往难以获取足够的目标样本数据以实现高可靠的目标识别。为此,结合人的认知特性,提出一种基于部件模型的小样本车辆目标识别方法,可有效提高无人机感知能力。采用视觉显著性检测与物体性检测相结合的检测方法,提取目标可能区域;采用基于图论的GrabCut方法与最大类间方差法相结合的分割方法,分割目标并提取目标内部件;采用基于概率图模型的部件识别方法,通过将部件轮廓稀疏表示为条件随机场,并进行概率推理实现部件识别;采用基于贝叶斯的目标识别方法完成目标是否为车辆的判断。通过无人机拍摄的车辆图像验证表明,算法可在样本较少、光照变化、存在遮挡等情况下,以较高准确率检测并识别出车辆目标,同时识别算法具有一定可解释性。     

结构主导目标检测中的纹理随机化

已有基于卷积神经网络的目标检测算法倾向于提取目标纹理特征,而非结构特征;因此,已有方法不能实现变纹理目标的可靠检测。针对此问题,提出基于纹理随机化的结构主导目标检测方法,采用仿真纹理随机化方法减弱网络模型对纹理特征的拟合,实现基于结构特征的变纹理目标可靠检测。利用目标的三维模型,借助Blender渲染引擎,完成纹理随机化仿真训练数据集的生成。仿真及真实图像实验测试结果表明:该方法能够实现基于目标结构特征的变纹理目标可靠检测。